Search Results
Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)
6.826 Fall 2020 Lecture 9: Separation logic
Typing, Representing, and Abstracting Control: Functional Pearl
Parsing with Zippers (Functional Pearl) (ICFP 2020)
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
6.826 Fall 2020 Lecture 16: Concurrent separation logic, Iris
Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High... (ICFP 2020)
ICFP 2020 Session Asia 5
[POPL'22] Concurrent Incorrectness Separation Logic
ICFP 2020 Session NY 4
A Probabilistic Separation Logic